| 1. Identificação | |
| Tipo de Referência | Artigo em Revista Científica (Journal Article) |
| Site | mtc-m16.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | 6qtX3pFwXQZ3r59YDa/JG7ny |
| Repositório | sid.inpe.br/iris@1916/2006/01.06.16.51 (acesso restrito) |
| Última Atualização | 2006:06.22.13.56.30 (UTC) administrator |
| Repositório de Metadados | sid.inpe.br/iris@1916/2006/01.06.16.51.52 |
| Última Atualização dos Metadados | 2018:06.05.01.16.42 (UTC) administrator |
| Chave Secundária | INPE-13805--PRE/8991 |
| ISSN | 0305-0548 |
| Chave de Citação | VijaykumarCarvAndrAbdu:2006:InPrSt |
| Título | Introducing probabilities in statecharts to specifyreactive systems for performance analysis  |
| Ano | 2006 |
| Mês | Aug. |
| Data de Acesso | 18 maio 2024 |
| Tipo Secundário | PRE PI |
| Número de Arquivos | 1 |
| Tamanho | 309 KiB |
| 2. Contextualização | |
| Autor | 1 Vijaykumar, Nandamudi Lankalapalli 2 Carvalho, Solon Venâncio de 3 Andrade, V. M. B. 4 Abdurahiman, V. |
| Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JHTU 2 8JMKD3MGP5W/3C9JJ99 |
| Grupo | 1 LAC-INPE-MCT-BR 2 LAC-INPE-MCT-BR |
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais, Laboratório Associado de Computação e Matemática Aplicada, (INPE, LAC) 2 Instituto Nacional de Pesquisas Espaciais, Laboratório Associado de Computação e Matemática Aplicada, (INPE, LAC) 3 Mentor Tecnologia 4 Department of Computer Science, Aeronautical Institute of Technology (ITA) |
| Revista | Computers and Operations Research |
| Volume | 33 |
| Número | 8 |
| Páginas | 2369-2386 |
| Histórico (UTC) | 2006-06-22 13:56:30 :: jefferson -> administrator :: 2008-06-10 22:41:45 :: administrator -> jefferson :: 2011-05-24 18:20:29 :: jefferson -> administrator :: 2018-06-05 01:16:42 :: administrator -> marciana :: 2006 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Tipo do Conteúdo | External Contribution |
| Palavras-Chave | performance models specification statecharts probabilistic reaction analytical solutions continuous-time Markov chains STOCHASTIC PETRI NETS |
| Resumo | Statecharts are expressed in a graphical language to specifycomple x reactive systems. Theyare extension of state-transition diagrams to which notions of hierarchyand orthogonalityha ve been added. Recently, theyha ve been suggested to represent performance models and in this regard a software package has been developed. In these performance models, the behavior of a system under study is considered to be probabilistic. Therefore, the inclusion of probabilities in Statecharts formalism will be studied. The proposed extension considers that a modeled system reacts probabilisticallyto events. In order to deal with these models, an analytical computational method based on constructing a Continuous-Time Markov Chain that is equivalent to the Statecharts model is proposed. The aspect of generating a Continuous-Time Markov Chain from Statecharts representation along with the solution to include probabilities among the transitions will be covered in this paper. Scope and purpose Nowadays performance of a system can be analyzed before it is implemented based on the evaluation information. There are two approaches one can take into consideration in order to achieve performance evaluation of a given system. The first approach is simulation and the second one, which is the scope of this paper, is analytical solution. Analytical solutions are usually based on Markov chains from which steady-state probabilities, basis for performance measurements, can be determined. The main concern in obtaining these measurements is how to specifymodern complex systems that react to events. A number of research efforts are being carried out in order to minimize the specification problem. The approach used in this paper proposes Statecharts, a specification method based on graphical representation, to specifya complex reactive system in a high-level fashion and then convert it into a Markov chain from which performance measurements can be obtained. This paper discusses the necessityof embedding probabilistic transitions among states in the sense that an event mayprobabilisticallymo ve to more than one different destinations. Examples included here explore Manufacturing systems but systems for other applications can also make use of this approach. It is expected that with this work it is possible to specify complex systems in a high-level of abstraction and an automated framework will do the job to obtain the performance information of a given system. |
| Área | COMP |
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Introducing probabilities in... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| Idioma | en |
| Arquivo Alvo | Introducing probabilities in statecharts to specify reactive.pdf |
| Grupo de Usuários | administrator jefferson |
| Visibilidade | shown |
| Detentor da Cópia | SID/SCD |
| Política de Arquivamento | denypublisher denyfinaldraft36 |
| Permissão de Leitura | deny from all and allow from 150.163 |
| Permissão de Atualização | não transferida |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP |
| Divulgação | WEBSCI; PORTALCAPES. |
| Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 |
| 6. Notas | |
| Campos Vazios | alternatejournal archivist callnumber copyright creatorhistory descriptionlevel doi e-mailaddress electronicmailaddress format isbn label lineage mark mirrorrepository nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url versiontype |
| 7. Controle da descrição | |
| e-Mail (login) | marciana |
| atualizar | |